1.
Author: ادیب سلطانی ،میرشمس الدین ،- 1310
Library: (13Aban Library (Libraries of Art and Cultural Organization of Tehran Municipality (Tehran)
Subject: ،منطق ریاضی، , ،گودل ? قضیه،
Classification :
511
/3
الف
348
پ
1373
2. Topics in decision problem being an investigation there of in the domains of the first ...
Author: /a monograph by M. S. Adib-SoltÀni .,ادیب سلطانی,Adib Soltani
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: گودل، قضیه,منطق ریاضی
Classification :
QA
۹
/
۶۵
/
الف
۴
ت
۲ ۱۳۹۱
3. بررس امکان ساختاری شدن و راسری شدن برخی اثبات های قضیه ناتمامیت گودل
Author: /پیام سراجی
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject:
4. برهان گودل و حقیقت و برهان
Author: ناگل، ارنست، ۱۹۰۱- Nagel, Ernest
Library: Library of Kowsar University of Qom (Qom)
Subject: گودل، قضیه,منطق ریاضی
Classification :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
5. برهان گودل و حقیقت و برهان
Author: نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی
Library: Publishing Library of Samt (Tehran)
Subject: گودل، قضیه,منطق ریاضی
Classification :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
6. برهان گودل و حقیقت و برهان
Author: نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی
Library: Iranology Foundation Library (Tehran)
Subject: گودل، قضیه,منطق ریاضی
Classification :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
7. برهان گودل و حقیقت و برهان
Author: ناگل، ارنست
Library: Central Library and Documentation Center (Kerman)
Subject: گودل، قضیه,منطق ریاضی
Classification :
QA
۹
/
۶۵
/
ن
۲
ب
۴
8. برهان گودل و حقیقت و برهان
Author: / نویسندگان ارنست ناگل، ج. نیومن، آلفرد تارسکی,عنوان اصلی: Godel's Proof.
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: گودل، قضیه,منطق ریاضی
Classification :
QA
۹،
/
۶۵
/
ن
۲
ب
۴
9. برهان گودل و حقیقت و برهان
Author: ناگل، ارنست Nagel, Ernest ۱۹۰۱ -
Library: (Tehran)
Subject: گودل، قضیه,منطق ریاضی
Classification :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
10. برهان گودل و حقیقت و برهان
Author: / نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی,عنوان اصلی: Godel's proof..
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: گودل، قضیه,منطق ریاضی
Classification :
QA
۹
/
۶۵
/
ن
۲،
/
ب
۴
11. برهان گودل و حقيقت و برهان
پدیدآورنده : نويسندگان ارنست ناگل, ج نيومن و آلفرد تارسکي, ترجمه محمد اردشير
موضوع : گودل, قضيه منطق رياضي
۶ نسخه از این کتاب در ۶ کتابخانه موجود است.
12. برهان گودل و حقیقت و برهان
Author: ناگل، ارنست، ۱۹۰۱ - Nagel, Ernest
Library: Central library and information center (Khorasan Razavi)
Subject: گودل، قضیه,منطق ریاضی
Classification :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
13. برهان گودل و حقیقت و برهان
Author: / نویسندگان : ارنست ناگل، ج.نیومن آلفرد تارسکی,ناگل ,Nagel
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: گودل، قضیه,منطق ریاضی
Classification :
QA9
.
65
.
N3
14. برهان گودل و حقیقت و برهان
Author: ناگل، ارنست، ۱۹۰۱ - م. Nagel, Ernest
Library: Library and National Museum of Malek (Tehran)
Subject: گودل، قضیه,منطق ریاضی
Classification :
۵۱۱
/
۳
ن
۲۱۸
ب
/
الفت
۱۳۶۴
15. برهان گودل و حقیقت و برهان
Author: نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی
Library: Sheikh Bahai Library (Khorasan Razavi)
Subject: گودل، قضیه,منطق ریاضی
Classification :
QA
۹
/
۶۵
/
ن
۲،
ب
۴
16. برهان گودل و حقيقت و برهان
پدیدآورنده : ناگل ، ارنست ، - 1901
موضوع : گودل ، قضيه=منطق رياضي
۷ نسخه از این کتاب در ۷ کتابخانه موجود است.
17. برهان گودل و حقيقت و برهان
Author: /نويسندگان ارنست ناگل ، ج . نيوسن و آلفروتارسکي ,ناگل ، ارنست ، ۱۹۰۱ - ,nagel, ernest
Library: Library of Razavi University of Islamic Sciences (Khorasan Razavi)
Subject: گودل ، قضيه,منطق رياضي
Classification :
۵۱۱
/
۳
ن
۲۱۸
ب
18. برهان گودل و حقیقت و برهان
Author: / نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی,عنوان اصلی به زبان اصلی: Godel's proof
Library: Ilam University Central Library (Ilam)
Subject: برهان قضیه,منطق ریاضی
Classification :
QA
۹
/
۶۵
/
ن
۲
ب
۴
19. برهانهای استاندارد قضیه ی دوم ناتمامیت گودل
Author: /شیوا خالقی
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject:
20. پژوهشی در پیرامون مسئله تصمیم در منطق: طرح چند خوارزمیک تحلیلی - معنا‌یی
Author: نوشته میرشمس‌الدین ادیب سلطانی
Library: Imam Sadeq Library (Qazvin)
Subject: منطق ریاضی,گودل، قضیه
Classification :
BC
۱۳۵
/
الف
۴،
پ
۴
